/**
 * @author ning
 */
function log(msg){
    if (window.console) 
        console.log(msg);
    else {
        document.getElementById("msg").innerHTML += "<br>";
        document.getElementById("msg").innerHTML += msg;
    }
}
